Social Commitments in Time: Satisfied or Compensated
نویسندگان
چکیده
We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We propose a new characterization of commitments with time that enables a rich modeling of the domain, various forms of reasoning, and run-time and static verification.
منابع مشابه
Social commitments in time : satisfied or compensated ( preliminary report )
We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We propose a new characterization of commitments with time that enables a rich modeling of the domain, various forms of reasoning, and run-time and static verification.
متن کاملA Retrospective on the Reactive Event Calculus and Commitment Modeling Language
Social commitments in time: Satisfied or compensated was the title of a presentation given at the 7th DALT workshop edition [34] in which we proposed a layered architecture for modeling and reasoning about social commitments. We gave emphasis to modularity and to the need of accommodating certain temporal aspects in order for a commitment modeling framework to be flexible enough to adapt to div...
متن کاملجامعهشناسی مصرف مواد مخدر
In this article which is a review of sociological ideas and studies of drug abusers in social situation, drug addiction steps (particularly alcohol, heroin and cocaine consumption) are revised and some explanations are made. Also, the role of some sociological ideas in drug addiction is considered in which Anomie Theory reads: "because of such duality, the individuals who are not satisfied with...
متن کاملعوامل مرتبط با تعهدات شهروندی
Objective: Citizens have many rights and commitments. "Citizenship commitments" induce social order and make social affairs predictable. Such a concept due to its nature and meaning holds relation with entire subjects and debates of currently human and social fields. Method: This research is a survey on citizens over the age of 18 in Tehran city. Sampling method is compound of classified a...
متن کاملعوامل مرتبط با تعهدات شهروندی
Objective: Citizens have many rights and commitments. "Citizenship commitments" induce social order and make social affairs predictable. Such a concept due to its nature and meaning holds relation with entire subjects and debates of currently human and social fields. Method: This research is a survey on citizens over the age of 18 in Tehran city. Sampling method is compound of classified a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009